Optimal Diagnosis Procedures for k-out-of-n Structures

REFERENCES A. Mahmood and E. J . McCluskey, “Concurrent error detection using watchdog processorA survey,” IEEE Trans. Cornput., vol. C-37, no. 2, pp. 160-174, Feb. 1988. M. Schuette and J . Shen, “Processor control flow monitoring using signatured instruction streams,” IEEE Trans. Cornput., vol. C-36, no. 3 , pp. 264-276, Mar. 1987. N. R. Saxena and E. J. McCluskey, “Extended precision checksums,” in Dig. Papers 17th Annu Int. Symp. Fault-Tolerant Cornput. (FTCS), July 1987, pp. 142-147. T. Sridhar and S. Thatte, “Concurrent checking of program flow in VLSI processors,” in Dig. Papers 1982 IEEE Test Conf., Nov. 1982, pp. 191-199. M. Namjoo, “Techniques for concurrent test of VLSI processor operation,’’ in Dig. Papers 2982 IEEE Test Conf.. June 1982, pp. 46 1 -468. K. Wilken and J . Shen, “Continuous signature monitoring: Efficient concurrent-detection of processor control errors,” in Dig. Papers 1988 IEEE Test Conf., Sept. 1988, pp. 914-925. HP 9000/930 and HP 9000/840 Computers, Precision Architecture and Instruction Reference Manual, HP, Nov. 1986. G. Kane, R2000 RISC Architecture. Englewood Cliffs, NJ: Prentice-Hall, 1987. J. Shen and S. Tomas, “A roving monitoring processor for detection of control flow errors in multiple processor systems,” Microprocessing and Microprogramming, vol. 20, no. 4&5, pp. 249-269, May 1987. J . C. Huck, “Comparative analysis of computer architectures,” Ph.D. dissertation, Stanford Univ., Mar. 1983. D. P. Siewiorek and R. S . Swarz, The Theory and Practice of Reliable System Design. U. Gunneflo, J . Karlsson, and J . Torin, “Evaluation of error detection schemes using fault injection by heavy-ion radiation,” in Proc. Nineteenth Int. Symp. Fault-Tolerant Cornput., June 1989, pp. 340-347. Bedford, MA: Digital, 1982.